Stable{P} == (P)  P 

latex

Up	core 2, core 2
Wellformedness Lemmas	stable wf, stable wf
Definitions	P  Q, A
FDL editor aliases	stable